Один из них можно назвать тавтологическим (аналитическим у Канта): доказуемое уже, явно или неявно, содержалось в исходных посылках. Таковы математические доказательства, таковы классические силлогизмы, типа
Все люди смертны,
Сократ - человек,
Стало быть, Сократ смертен.
Заметим, что вывод о смертности Сократа чисто формален, он опирается на веру в
(
Read more... )